Nuprl Definition : case_inl
2,24
postcript
pdf
inl(
x
)
body
(
x
) ;
cont
(
value
,
contvalue
)
== Case
value
of inl(
x
)
body
(
x
) ; inr(
_
)
cont
(
contvalue
,
contvalue
)
latex
FDL editor aliases
case_inl
origin
body(x) ; cont(value,contvalue)
body(x) ; inr(_) cont(contvalue,contvalue) body(x) ; cont(value,contvalue)
body(x) ; inr(_) cont(contvalue,contvalue)